Elaborating Domain Descriptions
نویسندگان
چکیده
In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contracting a domain description. We establish soundness and completeness of the operators w.r.t. the semantics for descriptions that satisfy a principle of modularity that we have proposed elsewhere. We also investigate an example of changing non-modular domain descriptions.
منابع مشابه
The or That: Definite and Demonstrative Descriptions in Second Language Acquisition
Since Heubner's (1985) pioneering study, there have been many studies on (mis) use/ non-use of articles by L2 learners from article-less and article languages. The present study investigated how Persian L2 learners of English produce and interpret English definite descriptions and demonstrative descriptions. It was assumed that definite and demonstrative descriptions share the same central sema...
متن کاملAn Intelligent Authoring Environment for Abstract Semantic Representations of Cultural Object Descriptions
In this paper we describe an authoring environment for the creation of culturaldomain ontologies and the associated linguistic and profile annotations, for dynamically generating adaptable naturallanguage descriptions of the cultural objects in the ontology. Adaptation is achieved at the expense of considerable authoring effort, since it relies on providing numerical parameters for each ontolog...
متن کاملHypothesizing--circularity--neutrality: three guidelines for the conductor of the session.
This paper presents the results of our research focused on individuating and elaborating principles and methods that we have found highly productive in interviewing the family. We have synthesized these principles under the headings Hypothesizing, Circularity, and Neutrality, giving conceptual definitions, descriptions, and practical examples of their application. Our purpose is to aid the ther...
متن کاملOn the Formal Development of Safety-Critical Software
We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure inside the control computer. We then i...
متن کاملElaborating analogies from conceptual models
This paper defines and analyses a computational model of similarity which detects analogies between objects based on conceptual descriptions of them, constructed from classification, generalization relations and attributes. Analogies are detected(elaborated) by functions which measure conceptual distances between objects with respect to these semantic modelling abstractions. The model is domain...
متن کامل